1. Advances in communication, network, and computing :
پدیدآورنده : Vinu V. Das, Janahanlal Stephen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks -- Congresses.,Data mining -- Congresses.,Image processing -- Digital techniques -- Congresses.
2. Chemoinformatics :
پدیدآورنده : editors Johann Gasteiger, Thomas Engel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
3. Computational Algebra and Number Theory
پدیدآورنده : edited by Wieb Bosma, Alf Poorten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Algebra.,Combinatorics.,Electronic data processing.,Group theory.,Mathematics.
4. Group-theoretic algorithms and graph isomorphism
پدیدآورنده : / Christoph M. Hoffman
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Groups, Theory of - Data processing,Graph theory - Data
رده :
QA171
.
H675
5. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
6. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
7. Mathematics and computing :
پدیدآورنده : Debdas Ghosh, Debasis Giri, Ram N. Mohapatra, Kouichi Sakurai, Ekrem Savas, Tanmoy Som, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computational Mathematics and Numerical Analysis.,Math Applications in Computer Science.,Mathematical Applications in Computer Science.,Operations Research, Management Science.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematical modelling.,Maths for computer scientists.,Numerical analysis.,Operational research.
رده :
QA76
.
9
.
M35
8. Research in computational topology /
پدیدآورنده : Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Geometry-- Data processing-- Research.,Topology-- Data processing-- Research.,Algorithms.,Computational complexity.,MATHEMATICS-- Topology.
رده :
QA611
9. Robotics, Vision and Control :
پدیدآورنده : by Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.,Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.
رده :
T59
.
5
10. Robotics, vision and control :
پدیدآورنده : Peter Corke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : MATLAB.,MATLAB.,Computer vision.,Robots-- Control systems.,Computer vision.,Robots-- Control systems.
رده :
TJ211
.
35
.
C67
2017eb